($\lambda_{2}$$x$,$y$,$z$,$w$. $t$($x$;$y$;$z$;$w$))($x$,$y$,$z$,$w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$t$($x$;$y$;$z$;$w$)